}
return multipleMatches.concat(prefixMatches.concat(substringMatches));
}
-}
+};
Signals.addSignalMethods(DocManager.prototype);
function pathToName(path) {
if (path[0] != '/')
- throw new Error('not a D-Bus path: ' + path);
+ throw new Error('not a D-Bus path: ' + path);
return path.substr(1).replace('/', '.', 'g');
};
+/* -*- mode: js2; js2-basic-offset: 4; indent-tabs-mode: nil -*- */
+
const GLib = imports.gi.GLib;
const Gtk = imports.gi.Gtk;
const GConf = imports.gi.GConf;
altTab.js \
appDisplay.js \
appFavorites.js \
- boxpointer.js \
+ boxpointer.js \
calendar.js \
chrome.js \
dash.js \
dnd.js \
docDisplay.js \
environment.js \
- extensionSystem.js \
+ extensionSystem.js \
genericDisplay.js \
lightbox.js \
link.js \
lookingGlass.js \
- main.js \
magnifier.js \
magnifierDBus.js \
+ main.js \
messageTray.js \
notificationDaemon.js \
overview.js \
panel.js \
placeDisplay.js \
runDialog.js \
- search.js \
+ search.js \
shellDBus.js \
statusMenu.js \
telepathyClient.js \
tweener.js \
- windowAttentionHandler.js \
+ windowAttentionHandler.js \
windowManager.js \
workspacesView.js \
- workspaceSwitcherPopup.js \
+ workspaceSwitcherPopup.js \
workspace.js
-const Lang = imports.lang;
+/* -*- mode: js2; js2-basic-offset: 4; indent-tabs-mode: nil -*- */
const Cairo = imports.cairo;
const Clutter = imports.gi.Clutter;
+const Lang = imports.lang;
const St = imports.gi.St;
const Shell = imports.gi.Shell;
let availWidth = box.x2 - box.x1;
let availHeight = box.y2 - box.y1;
- childBox.x1 = 0
+ childBox.x1 = 0;
childBox.y1 = 0;
childBox.x2 = availWidth;
childBox.y2 = availHeight;
this._border.queue_repaint();
}
}
-}
+};
-/* -*- mode: js2; js2-basic-offset: 4; tab-width: 4; indent-tabs-mode: nil -*- */
+/* -*- mode: js2; js2-basic-offset: 4; indent-tabs-mode: nil -*- */
const Clutter = imports.gi.Clutter;
const Gtk = imports.gi.Gtk;
_onClicked: function (link) {
Main.lookingGlass.inspectObject(this._obj, this.actor);
}
-}
+};
function Result(command, o, index) {
this._init(command, o, index);
let gConf = Shell.GConf.get_default();
this.setCrosshairsClip(gConf.get_boolean(CROSS_HAIRS_CLIP_KEY));
}
-}
+};
function ZoomRegion(magnifier, mouseRoot) {
this._init(magnifier, mouseRoot);
this._crosshairsActor.set_position(x - groupWidth / 2, y - groupHeight / 2);
}
}
-}
+};
function Crosshairs() {
this._init();
this._vertTopHair.set_position((groupWidth - thickness) / 2, top);
this._vertBottomHair.set_position((groupWidth - thickness) / 2, bottom);
}
- }
+};
// Drop the leading '#'.
return parseInt(colorString.slice(1), 16);
}
-}
+};
/**
* ShellMagnifierZoomRegion:
let viewRect = { x: viewPort[0], y: viewPort[1], width: viewPort[2], height: viewPort[3] };
this._zoomRegion.setViewPort(viewRect);
}
-}
+};
DBus.conformExport(ShellMagnifier.prototype, MagnifierIface);
DBus.conformExport(ShellMagnifierZoomRegion.prototype, ZoomRegionIface);
this.label = new St.Label({ text: text });
this.actor.set_child(this.label);
- },
+ }
};
function PanelSeparatorMenuItem() {
let found, margin, gradientHeight;
[found, margin] = themeNode.get_length('-margin-horizontal', false);
[found, gradientHeight] = themeNode.get_length('-gradient-height', false);
- let startColor = new Clutter.Color()
+ let startColor = new Clutter.Color();
themeNode.get_color('-gradient-start', false, startColor);
- let endColor = new Clutter.Color()
+ let endColor = new Clutter.Color();
themeNode.get_color('-gradient-end', false, endColor);
let gradientWidth = (width - margin * 2);
break;
case '24-hour':
if (showDate)
- /* Translators: This is the time format with date used
+ /* Translators: This is the time format with date used
in 24-hour mode. */
clockFormat = showSeconds ? _("%a %b %e, %R:%S")
: _("%a %b %e, %R");
else
- /* Translators: This is the time format without date used
+ /* Translators: This is the time format without date used
in 24-hour mode. */
clockFormat = showSeconds ? _("%a %R:%S")
: _("%a %R");
case '12-hour':
default:
if (showDate)
- /* Translators: This is a time format with date used
+ /* Translators: This is a time format with date used
for AM/PM. */
clockFormat = showSeconds ? _("%a %b %e, %l:%M:%S %p")
: _("%a %b %e, %l:%M %p");
else
- /* Translators: This is a time format without date used
+ /* Translators: This is a time format without date used
for AM/PM. */
clockFormat = showSeconds ? _("%a %l:%M:%S %p")
: _("%a %l:%M %p");
this._leftShadow = new St.Bin({ style_class: 'left-workspaces-shadow',
width: Math.ceil(global.screen_width * WORKSPACE_SHADOW_SCALE),
height: global.screen_height,
- x: global.screen_width })
+ x: global.screen_width });
this._rightShadow = new St.Bin({ style_class: 'right-workspaces-shadow',
width: Math.ceil(global.screen_width * WORKSPACE_SHADOW_SCALE),
height: global.screen_height,
- x: global.screen_width })
+ x: global.screen_width });
GenericWorkspacesView.prototype._init.call(this, width, height, x, y, workspaces);
},
updateWorkspaces: function(oldNumWorkspaces, newNumWorkspaces, lostWorkspaces) {
- let active = global.screen.get_active_workspace_index();
+ let active = global.screen.get_active_workspace_index();
for (let l = 0; l < lostWorkspaces.length; l++)
lostWorkspaces[l].disconnectAll();
},
_workspacesChanged: function() {
- let showToggleButton = (global.screen.n_workspaces > 1)
+ let showToggleButton = (global.screen.n_workspaces > 1);
Tweener.addTween(this._toggleViewButton,
{ opacity: showToggleButton ? 255 : 0,
time: WORKSPACE_SWITCH_TIME,